Practical Abstract Interpretation of Binary Code
نویسندگان
چکیده
منابع مشابه
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
In this paper we propose a novel methodology for static analysis of binary code using abstract interpretation. We use an abstract domain based on polyhedra and two mapping functions that associate polyhedra variables with registers and memory. We demonstrate our methodology to the problem of computing upper bounds to loop iterations in the code. This problem is particularly important in the dom...
متن کاملTest-Case Generation for Embedded Binary Code Using Abstract Interpretation
This paper describes a framework for test-case generation for microcontroller binary programs using abstract interpretation techniques. The key idea of our approach is to derive program invariants a priori, and then use backward analysis to obtain test vectors that are executed on the target microcontroller. Due to the structure of binary code, the abstract interpretation framework is based on ...
متن کاملSemantics-based code obfuscation by abstract interpretation
In recent years code obfuscation has attracted research interest as a promising technique for protecting secret properties of programs. The basic idea of code obfuscation is to transform programs in order to hide their sensitive information while preserving their functionality. One of the major drawbacks of code obfuscation is the lack of a rigorous theoretical framework that makes it difficult...
متن کاملSemantic-Based Code Obfuscation by Abstract Interpretation
Interpretation Mila Dalla Preda and Roberto Giacobazzi Dipartimento di Informatica, Università di Verona Strada Le Grazie 15, 37134 Verona (Italy) [email protected] | [email protected] Abstract. In this paper we introduce a semantic-based approach for code obfuscation. The aim of code obfuscation is to prevent malicious users to disclose properties of the original source program. ...
متن کاملAbstract interpretation of microcontroller code: Intervals meet congruences
Interpretation of Microcontroller Code: Intervals Meet Congruences Jörg Brauera,∗, Andy Kingb, Stefan Kowalewskia aEmbedded Software Laboratory, RWTH Aachen University, Germany bPortcullis Computer Security Limited, Pinner, UK
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2020
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2020-32(6)-8